function ist(username){
	if(username.match(/^t[0-9]*/) != null) return true;
	else return false;
}

function data_handler(data){
	if(data.head == "ok"){
		if(data.action = "redirect"){
			window.location.href = data.info;
		}
	} else {
		$("#err").text(data.info);
	}
}
